3.4.2 Cross Product

Cross product operates on expressions of the form a÷c+b÷d to produce (a⋅d+b⋅c)÷(c⋅d). The additive operator can be one of +, - or ±. One of the addends must be a division.

The original expression can be recovered by distributing the division operator to achieve a⋅d÷(c⋅d)+b⋅c÷(c⋅d) and then simplifying.

Although not strictly a cross product operation, Cross also operates on multiplication so that expressions of the form a÷b⋅(c÷d) can be conveniently combined into a⋅c÷(b⋅d). One of the multiplicands must be a division.